<?php




interface menu
{
	public function setTitle ($text, $url = NULL, $title = NULL, $icon = NULL);
	public function setTitleBgColor ($clr);
	public function setBodyBgColor ($clr);
	public function setBodyColor ($clr);
	public function setSelected ($id);
	public function add ($id, $text, $url = NULL, $title = NULL, $icon = NULL);
	public function display ( );
}


?>